- semirecursive relation
- мат.полурекурсивное отношение
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
Computability theory — For the concept of computability, see Computability. Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown … Wikipedia